Module isotope::ctx::cons [−][src]
Expand description
Contexts for hash-consing terms
Traits
ConsCtx | A type which may be used as a context for creating |
Contexts for hash-consing terms
ConsCtx | A type which may be used as a context for creating |